$\forall$$r$:Rng, $a$, $b$:$\mathbb{Z}$.
\\[0ex]($a$ $\leq$ $b$)
\\[0ex]$\Rightarrow$ ($\forall$$E$:(\{$a$..$b$$^{-}$\}$\rightarrow\mid$$r$$\mid$), $k$:$\mathbb{Z}$. ($\Sigma$($r$) $a$ $\leq$ $j$ $<$ $b$. $E$($j$)) = ($\Sigma$($r$) $a$+$k$ $\leq$ $j$ $<$ $b$+$k$. $E$($j$ {-} $k$)) $\in$ $\mid$$r$$\mid$)